Schedulability Analyzer Model HW 5 RT - Analysis Profiler

It is undoubtedly true, that the usage of a formal speciica-tion methodology in software design will reduce the development eeort, particularly as embedded hard real{time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real{time systems with hard timing constraints. Emerging problems, caused by the non{deterministic semantics of SDL, can be solved by adding EDF process activation to the SDL system model. This paper describes the diierent steps necessary to map a SDL system speciication to an analyzable task network. Considering a SDL process as a typical server process, the mapping rules are resolving the resulting interdependencies and delays, caused by possible priority inversion and blocking. Finally the study of an application example, the \Mine Control System" proofs the usabilty of the introduced methods.